1. Computer aided proofs in analysis
پدیدآورنده : Kenneth R. Meyer, Dieter S. Schmidt, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Numerical analysis
رده :
QA
297
.
C638
1991
2. Computer aided proofs in analysis
پدیدآورنده : Kenneth R. Meyer, Dieter S. Schmidt, editors
موضوع : Numerical analysis - Data processing - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Computer aided proofs in analysis
پدیدآورنده : Kenneth R. Meyer, Dieter S. Schmidt, editors
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Data processing - Congresses ، Numerical analysis
رده :
QA
1
.
I52
v
.
28
